Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systemsΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ”„Finite State Machines
Go experiments with SIMD
golangweekly.comΒ·1d
πŸ’§Liquid Types
Introducing TypeKro
yehudacohen.substack.comΒ·4hΒ·
Discuss: Substack
🏠Homelab Orchestration
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.ioΒ·14h
🐚Nordic Shell
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.aiΒ·1dΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
How Chat UIs Communicate with MCP Servers
dev.toΒ·11hΒ·
Discuss: DEV
🌊Stream Processing
strongly typed?
dotat.atΒ·2hΒ·
Discuss: Hacker News
πŸ”—Dependently Typed
Trust Spanning Protocol (TSP) Specification
trustoverip.github.ioΒ·2dΒ·
Discuss: Hacker News
🌳Archive Merkle Trees
API Design 101: From Basics to Best Practices
javarevisited.substack.comΒ·1dΒ·
Discuss: Substack, r/programming
⚑gRPC
Guessing Game: Haskell Style
entropicthoughts.comΒ·2d
πŸ‘‘Dependent Haskell
I made a simple LAN scanner in Rust
github.comΒ·19hΒ·
Discuss: Hacker News
πŸ“»Homebrew Protocols
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blogΒ·16h
🌳Archive Merkle Trees
The Emacs thread-related code needs a maintainer
lists.gnu.orgΒ·19hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
TypeScript Cookbook β€’ Stefan Baumgartner & Peter KrΓΆner
youtube.comΒ·1d
🎯Gradual Typing
(繁中) The Art of PHP β€” My CTF Journey and Untold Stories!
blog.orange.twΒ·1d
πŸ‡¨πŸ‡³Chinese Computing
Dependent types I β€Ί Universes, or types of types
jonmsterling.comΒ·21hΒ·
Discuss: Hacker News
πŸ”€Type Theory
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.comΒ·12h
βš™οΈOperating System Design
Trying to get error backtraces in rust libraries right
iroh.computerΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming, r/rust
πŸ”’Linear Types
Chatbots, APIs, and the Hidden Risks Inside Your Application Stack
blog.qualys.comΒ·1d
πŸ‘οΈSystem Observability
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.comΒ·13h
πŸ¦‹Format Metamorphosis